اختيار الموقع            تسجيل دخول
 

المؤلفين المشاركين
 طاهر توفيق أحمد حمزة
  عدد المقالات  : 96
 

Proof Editor System Based on Martin-L?f Type Theory (PESM)
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 26-35
تم النشر في  : International Journal of Intelligent Computing & Information Science, Faculty of Computer & Information Science, Ain Shams University
تم النشر بتاريخ  : 01/10/2002




PROOF NETS
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza


تم النشر في  : international Journal of Intelligent Computing & Information Science, Faculty of Computer& Information Science, Ain Shams University
تم النشر بتاريخ  : 01/01/2003




Mango Disease Diagnosis and Treatment Expert System
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  235 – 244
تم النشر في  : Agricultural Journal, Suez Canal university
تم النشر بتاريخ  : 01/09/2003




Specification with a Mechanization of Martin-L?f’s Type Theory
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza


تم النشر في  : Egyptian Informatics Journal, Faculty of Computers & Information, Cairo Univ
تم النشر بتاريخ  : 01/01/2004




DIRECT Predicate Calculus and Multiplicative Linear Logic
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza


تم النشر في  : international Journal of Intelligent Computing & Information Science, Faculty of Computer& Information Science, Ain Shams University
تم النشر بتاريخ  : 01/01/2004




A New Methodology for Web TestingA New Methodology for Web Testing
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  PP 77-82
تم النشر في  : IEEE ITI 5th international conference(ICICT2007)
تم النشر بتاريخ  : 16/12/2007




Agent Based for Browser Computability Testing
 سمير الدسوقى السيد الموجى - جامعة المنصورة - كلية الحاسبات والمعلومات
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza
نجلاء عراقى عبد الفتاح - مصر


تم النشر في  : International Journal of Intelligent Computing and Information Science-Ain Shams University
تم النشر بتاريخ  : 01/01/2008




Compiler Optimizations Tuning Methodologies
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza
محمد حجاج زيان -


تم النشر في  : AL-AZHAR Engineering Technology International Conference Computing and Information Science-Ain Shams University-2008




Agent Based Framework for Browser Compatibility Testing
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza


تم النشر بتاريخ  : 01/01/2008




Testing in software Engineering
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza
نجلاء عراقي -


تم النشر في  : International Journal of Intelligent Computing and Information Science-Ain Shams University-2008




من 10
 


Powered by Future Library Software.All rights reserved © CITC - Mansoura University. Sponsored by Mansoura University Privacy Policy